<html>
<head><meta charset="utf-8"><title>design meeting: rust study 2020 lang-team#55 · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html">design meeting: rust study 2020 lang-team#55</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="217140578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217140578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217140578">(Nov 18 2020 at 14:27)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1977">@T-lang</span> -- today is our design meeting to review the paper <a href="https://cseweb.ucsd.edu/~yiying/RustStudy-PLDI20.pdf">"Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs"</a> with the authors. <span class="user-mention" data-user-id="224471">@Lokathor</span> created a <a href="https://hackmd.io/@Lokathor/rkb09qtVP">helpful cheat sheet</a> listing all the key "insights and takeaways" from the meeting, and I've created a <a href="https://hackmd.io/O4I3P9jQQHKxwc-PqBAyFQ">hackmd</a> where I'm noting some of my questions. I'd ask all of you to add your own questions into that hackmd so that we can try to organize meeting plan.</p>



<a name="217140597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217140597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217140597">(Nov 18 2020 at 14:27)</a>:</h4>
<p>(Also others who plan to attend can do the same)</p>



<a name="217140917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217140917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217140917">(Nov 18 2020 at 14:29)</a>:</h4>
<p>Also, apologies for not sending this out earlier! I'm running rather behind it seems.</p>



<a name="217141011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217141011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217141011">(Nov 18 2020 at 14:30)</a>:</h4>
<p>Also, I'm not sure if I mentioned this meeting to you <span class="user-mention" data-user-id="120791">@RalfJ</span> but it seems like it may interest you :)</p>



<a name="217141035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217141035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217141035">(Nov 18 2020 at 14:30)</a>:</h4>
<p>And <span class="user-group-mention" data-user-group-id="810">@WG-unsafe-code-guidelines</span> in general <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="217143972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217143972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217143972">(Nov 18 2020 at 14:50)</a>:</h4>
<p>I guess my questions are kind of like essays but oh well</p>



<a name="217147338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217147338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217147338">(Nov 18 2020 at 15:14)</a>:</h4>
<p>(somewhat tangential: it's been mentioned before in the secure code WG, but some of the same themes and questions could either be asked to, or be answered by, Vytautas' latest paper <a href="https://2020.splashcon.org/details/splash-2020-oopsla/12/How-Do-Programmers-Use-Unsafe-Rust-">https://2020.splashcon.org/details/splash-2020-oopsla/12/How-Do-Programmers-Use-Unsafe-Rust-</a> or creating datalog queries ourselves and running them "on crater")</p>



<a name="217160595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217160595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217160595">(Nov 18 2020 at 16:35)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I think we may want to open with a more open-ended question, and give the authors an opportunity to speak to us open-endedly for a little bit. If we ask specific questions, we're going to get specific answers.</p>



<a name="217160667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217160667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217160667">(Nov 18 2020 at 16:35)</a>:</h4>
<p>I want to get to those specific questions, too, but I think there's value in reserving the first ~15 minutes of the meeting for more open-ended "what do you most want us to know about X" questions.</p>



<a name="217160826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217160826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217160826">(Nov 18 2020 at 16:36)</a>:</h4>
<p>Much of the paper was targeted to a broader audience. We're a very specific audience, of Rust language designers. Let's give them the chance to affect our worldview, before we ask questions from our existing worldview.</p>



<a name="217300257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%3A%20rust%20study%202020%20lang-team%2355/near/217300257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355.html#217300257">(Nov 19 2020 at 17:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/213817-t-lang/topic/design.20meeting.3A.20rust.20study.202020.20lang-team.2355/near/217141011">said</a>:</p>
<blockquote>
<p>Also, I'm not sure if I mentioned this meeting to you <span class="user-mention silent" data-user-id="120791">RalfJ</span> but it seems like it may interest you :)</p>
</blockquote>
<p>that was a bit too short notice, but it's okay, I am pretty busy currently anyway. happy to read a summary though once one exists :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>